truth set of linear inequality